$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{P}$), $d$:($a$:E$\rightarrow$Dec($P$($a$))). last{-}solution(${\it es}$;$P$;$d$) $\in$ E$\rightarrow$(E + Top)